Process calculi - PDFSEARCH.IO - Document Search Engine

Process calculi
Results: 158

#	Item
11	Introduction Continuous State Space Models Case Study in Web Services Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-09-27 05:37:25 Probability theory Markov models Markov processes Probability Engineering Stochastic processes Process calculi PEPA Jane Hillston Markov chain Queueing theory Laboratory for Foundations of Computer Science
12	to appear in TCS – www.wischik.com/lu/research/explicit-fusions.html Explicit Fusions Lucian Wischik1 and Philippa Gardner2 1 2 Add to Reading List Source URL: www.wischik.com Language: English - Date: 2004-02-23 13:34:35 Theoretical computer science Mathematical logic Logic Formal methods Logic in computer science Process calculi -calculus Automated theorem proving Process calculus Lambda calculus Bisimulation Limit of a function
13	Advances in Programming Languages APL14: Further language concurrency mechanisms David Aspinall (including slides by Ian Stark) School of Informatics Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-02-24 17:48:20 Computing Software engineering Computer programming Concurrent programming languages Inter-process communication Functional languages Concurrent computing Edsger W. Dijkstra Process calculi Actor model Message passing Scala
14	Introduction Markovian Foundations Applications Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-03-30 16:35:02 Markov processes Process calculi Markov models PEPA Markov chain Jane Hillston Markovian Process calculus Theoretical computer science Mathematics Discrete mathematics TAPAs model checker
15	Making stochastic process algebras count — Jane Hillston Making Stochastic Process Algebras Count: Modelling Collective Dynamics Jane Hillston Laboratory for Foundations of Computer Science Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-11-25 05:29:57 Algebra over a field Process calculus Stochastic process Stochastic Jane Hillston Process calculi Data Computing PEPA Information Non-associative algebras TAPAs model checker
16	Introduction Bio-PEPA: Syntax and semantics Model Analysis Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-03-02 10:57:34 Process calculi Theoretical computer science PEPA Jane Hillston Process calculus Mathematics Semantics -calculus Calculus Stochastic Model checking TAPAs model checker
17	• Paper at Concur 2002 wischik.com/lu/research/ A simple, distributed implementation of the pi-calculus, using explicit fusions Add to Reading List Source URL: www.wischik.com Language: English - Date: 2002-07-22 03:56:39 Mathematics Logic Theoretical computer science Automated theorem proving Logic programming Abstraction Process calculi -calculus Substitution Inverse trigonometric functions Lambert W function
18	SPA — From Individuals to Populations Stochastic Process Algebras — From Individuals to Populations Jane Hillston Laboratory for Foundations of Computer Science Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-02-28 06:04:18 Process calculus Algebra over a field Stochastic process Stochastic Process calculi Data Computing Information
19	process calculi “process calculus” means two things: Process Calculi for web services Add to Reading List Source URL: www.wischik.com Language: English - Date: 2003-03-13 09:50:06 Process calculi Theoretical computer science Computing Software Formal methods Process calculus -calculus Bisimulation Join-calculus Reconfigurability Microsoft BizTalk Server Tea
20	The Bio-PEPA Workbench The Bio-PEPA Eclipse Plug-in The Bio-PEPA Tool Suite Jane Hillston Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-10-09 05:09:59 Software Jane Hillston Process calculi PEPA Hillston New South Wales Workbench Eclipse Informatics Process calculus